Monica S. Lam - PDFSEARCH.IO - Document Search Engine

Monica S. Lam
Results: 79

#	Item
31	Securing Web Applications with Static and Dynamic Information Flow Tracking Monica S. Lam Michael Martin Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2007-12-15 19:41:29 Database management systems Computer languages Data management Scripting languages Monica S. Lam SQL Code injection Cross-site scripting Java Computing Software engineering Cross-platform software
32	CONTEXT-SENSITIVE POINTER ANALYSIS USING BINARY DECISION DIAGRAMS A DISSERTATION SUBMITTED TO THE DEPARTMENT OF COMPUTER SCIENCE AND THE COMMITTEE ON GRADUATE STUDIES Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2007-04-01 19:35:11 Boolean algebra Diagrams Binary decision diagram Model checking Datalog Monica S. Lam Algorithm Pointer Stack Computing Software engineering Programming language theory
33	A Practical Dynamic Buffer Overflow Detector Olatunji Ruwase Monica S. Lam Transmeta Corporation Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2003-11-22 16:45:00 Software bugs Data types Computer errors Primitive types Arrays Buffer overflow protection Buffer overflow Stack buffer overflow Memory safety Computing Software engineering Computer programming
34	nd John Whaley 475 Broadway St 2 Floor Moka5 Redwood City, CA 94063 Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2013-11-20 21:44:28 Programming language implementation Software optimization Computing platforms Java platform Monica S. Lam Profiling Programming Language Design and Implementation Java performance Compiler Computing Software Cross-platform software
35	Using Datalog with Binary Decision Diagrams for Program Analysis John Whaley, Dzintars Avots, Michael Carbin, and Monica S. Lam Computer Science Department Stanford University Stanford, CA 94305, USA Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2007-04-01 19:35:04 Computing Boolean algebra Diagrams Binary decision diagram Model checking Database theory Datalog Relational algebra Prolog Mathematics Data management Relational model
36	Tracking Pointers with Path and Context Sensitivity for Bug Detection in C Programs V. Benjamin Livshits and Monica S. Lam Computer Systems Laboratory Stanford University Stanford, CA 94305 Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2003-06-27 02:40:09 Subroutines Data types Type theory C++ Source code Static single assignment form Pointer Use-define chain Alias analysis Software engineering Computing Computer programming
37	1 SociaLite: An Efficient Graph Query Language Based on Datalog Jiwon Seo, Stephen Guo, and Monica S. Lam, Member, IEEE Abstract—With the rise of social networks, large-scale graph analysis becomes increasingly import Add to Reading List Source URL: mobisocial.stanford.edu Language: English - Date: 2015-03-17 16:12:15 Datalog Shortest path problem Directed acyclic graph Function Static single assignment form Graph Mathematics Graph theory Theoretical computer science
38	Lecture 1 Introduction I.  Why Study Compilers? II.  Course Syllabus Chapters[removed], 8.4, 8.5, 9.1 Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2012-01-08 01:59:28 Programming language implementation Compiler Compiler construction Procedural programming languages Carnegie Mellon University C Program optimization Monica S. Lam Software engineering Computing Software
39	LivePCs: Consumerizing PCs, from Research to Product Faculty of Engineering Keynote Speaker: Professor Monica Lam Add to Reading List Source URL: engg.hku.hk Language: English - Date: 2007-12-03 07:05:21 Monica S. Lam Computing MokaFive Compilers: Principles Techniques and Tools Compiler Tensilica Computer Compiler construction Year of birth missing Software
40	Curriculum Vitae for John Whaley – Page 2 of 6 John Whaley 475 Broadway St 2nd Floor Moka5 Redwood City, CA[removed]Tel: ([removed] Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2013-11-20 21:44:10 Programming language implementation Software optimization Computing platforms Java platform Monica S. Lam Profiling Programming Language Design and Implementation Java performance Compiler Computing Software Cross-platform software